منابع مشابه
ARIANE 5 Flight 501 Failure
FOREWORD On 4 June 1996, the maiden flight of the Ariane 5 launcher ended in a failure. Only about 40 seconds after initiation of the flight sequence, at an altitude of about 3700 m, the launcher veered off its flight path, broke up and exploded. Engineers from the Ariane 5 project teams of CNES and Industry immediately started to investigate the failure. Over the following days, the Director G...
متن کاملAn analysis of the Ariane 5 flight 501 failure-a system engineering perspective
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 50.1 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. From the failure scenario described in the Inquiry Board report, it is possible to infer what, in our view, are the real causes of the 501 failure. We develop arguments to demonstrate that the real causes of the 501 f...
متن کاملThe Ariane 5 Flight 501 Failure - A Case Study in System Engineering for Computing Systems
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. From the failure scenario described in the Inquiry Board report, it is possible to infer what, in our view, are the real causes of the 501 failure. We develop arguments to demonstrate that the real causes of the 501 fa...
متن کاملAriane: An Awareness Mechanism for Shared Databases
Awareness is an essential requirement in collaborative activities. This paper presents Ariane, a generic and reusable awareness infrastructure, independent of a specific application or DBMS. Ariane improves the availability of awareness information to different cooperative applications by monitoring the application persistence mechanism. A prototype of Ariane was developed using the Java Data O...
متن کاملModel Checking Ariane-5 Flight Program
This paper reports a veriication experiment carried out on a re-engineered description of a part of Ariane-5 Flight Program. This is the embedded software which solely controls the Ariane-5 launcher during its ight, from the ground, through the atmosphere and up to the nal orbit. In this case study, the Sdl language was used to describe the main functional behavior of the ight program including...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1980
ISSN: 0028-0836,1476-4687
DOI: 10.1038/287672b0